Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
101	Massachusetts Institute of Technology 6.852: Distributed Algorithms Prof. Nancy Lynch Handout 3 February 5, 2008 Add to Reading List Source URL: courses.csail.mit.edu Language: English Fault-tolerant computer systems Distributed computing Concurrency control Dijkstra Prize ACM SIGACT Nir Shavit Nancy Lynch Software transactional memory Maurice Herlihy Concurrent computing Computing Computer science
102	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi University of Pennsylvania Microsoft Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-09-25 13:24:11 Schedule Information Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Needlepoint
103	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
104	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
105	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-09-18 11:16:47 Thread Java Platform Standard Edition Java Lock Aeolus Fork Parallel computing Exception handling Computing Concurrency control Concurrent computing
106	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
107	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
108	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency
109	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
110	MECHANISMS FOR UNBOUNDED, CONFLICT-ROBUST HARDWARE TRANSACTIONAL MEMORY Colin Blundell A DISSERTATION in Computer and Information Science Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-28 10:25:27 Computing Computer memory Data Transactional memory Software transactional memory Linearizability CPU cache Parallel computing Cache Transaction processing Concurrency control Data management

UPDATE